1. A Course on Mathematical Logi
پدیدآورنده : / by Shashi Mohan Srivastava
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
2. Axiomatic theory of sets and classes
پدیدآورنده : Eisenberg, Murray
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
E37
3. Elements of Logical Reasoning
پدیدآورنده : / Jan von Plato
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
4. Introduction to mathematical logic
پدیدآورنده : Mendelson, Elliott
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA9
.
M4
2001
5. Langages, ensembles, theories axiomatiques
پدیدآورنده : Hervieux, Maurice
کتابخانه: (طهران)
موضوع : ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H44
6. Set theory and its logic
پدیدآورنده : Quine, W. V.)Willard Van Orman(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
Q5
1969
7. Set theory and its logic
پدیدآورنده : Quine, Willard Van Orman, 8091-0002
کتابخانه: (طهران)
موضوع : ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
Q56S4
8. Sets, logic, and axiomatic theorie
پدیدآورنده : Stoll, Robert Roth.,]by[ Robert R. Stoll
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
3
.
S78
9. Sets, logic, and axiomatic theories
پدیدآورنده : Stoll, Robert Roth, 5191-
کتابخانه: (طهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
3
.
S76S4
1974